A POINT IN FORMAL LOGIC

?Logic and Formal Ontology: Is the Final Formal Ontology Possible

Musa Akrami AbstractMany philosophers and logicians have contemplated the relationship between ontology and logic. The author of this paper, working within a Bolzanoan-Husserlian tradition of studying both ontology and logic, considers ontology as the science of the most general features of beings and the most general relations among them. He considers logic as the science concernin...

Formal Logic

where the universal (all) has been replaced with an existential (some/exists) then the argument would not be valid. In Ancient Greece, Aristotle exhaustively considered all possible combinations of universals and existentials in syllogisms, allowing also for the possibility of negations, and collected those corresponding to valid inferences in a classification theorem. For many centuries, that ...

Logic as a Formal Method

The aim of this article is to present, in outline, a representative selection of the ways in which formal logic has been of service to computer science. Logic offers so many possibilities of application, and there are so many diverse groups of researchers developing logic-based applications, that it will be impossible in the space available to do justice to the whole field. Indeed it will be im...

Formal Theories in Fuzzy Logic

What is “ formal logic ” ?

0. Introduction Many people understand the expression “formal logic” as meaning modern mathematical logic by opposition to traditional logic before the revolution that happened in the second part of the 19 century with Boole, Frege and others. But in fact this expression was created by Kant (see Scholz 1931). Some people like to quote a excerpt of the preface of the second edition of the Critic...